ReP USP - Resultado da busca

Tese (Doutorado)
Quantification in description logics of typicality (2023)
Câmara, Igor de Camargo e Souza; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: WEB SEMÂNTICA, REPRESENTAÇÃO DE CONHECIMENTO, SEMÂNTICA, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CÂMARA, Igor de Camargo e Souza. Quantification in description logics of typicality. 2023. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/. Acesso em: 28 abr. 2024.
APA
Câmara, I. de C. e S. (2023). Quantification in description logics of typicality (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
NLM
Câmara I de C e S. Quantification in description logics of typicality [Internet]. 2023 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
Vancouver
Câmara I de C e S. Quantification in description logics of typicality [Internet]. 2023 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
Trabalho de evento
Hyperintensional models and belief change (2022)
Souza, Marlo ; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Marlo e WASSERMANN, Renata. Hyperintensional models and belief change. 2022, Anais.. Cham: Springer, 2022. Disponível em: https://doi.org/10.1007/978-3-031-21686-2_30. Acesso em: 28 abr. 2024.
APA
Souza, M., & Wassermann, R. (2022). Hyperintensional models and belief change. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-21686-2_30
NLM
Souza M, Wassermann R. Hyperintensional models and belief change [Internet]. Proceedings. 2022 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
Vancouver
Souza M, Wassermann R. Hyperintensional models and belief change [Internet]. Proceedings. 2022 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
Trabalho de evento
Hyperintensional Partial Meet Contractions (2022)
Souza, Marlo ; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Assunto: REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Marlo e WASSERMANN, Renata. Hyperintensional Partial Meet Contractions. 2022, Anais.. Vienna: IJCAI, 2022. Disponível em: https://doi.org/10.24963/kr.2022/34. Acesso em: 28 abr. 2024.
APA
Souza, M., & Wassermann, R. (2022). Hyperintensional Partial Meet Contractions. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2022/34
NLM
Souza M, Wassermann R. Hyperintensional Partial Meet Contractions [Internet]. Proceedings. 2022 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.24963/kr.2022/34
Vancouver
Souza M, Wassermann R. Hyperintensional Partial Meet Contractions [Internet]. Proceedings. 2022 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.24963/kr.2022/34
Monografia/livro-revisao tecnica
Inteligência artificial: uma abordagem moderna. [Revisão Técnica] (2022)
Silva, Flávio Soares Corrêa da (Revisor) ; Mauá, Denis Deratani (Revisor) ; Barros, Leliane Nunes de (Revisor) ; Wassermann, Renata (Revisor)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Inteligência artificial: uma abordagem moderna. [Revisão Técnica]. . Rio de Janeiro: GEN/LTC. . Acesso em: 28 abr. 2024. , 2022
APA
Inteligência artificial: uma abordagem moderna. [Revisão Técnica]. (2022). Inteligência artificial: uma abordagem moderna. [Revisão Técnica]. Rio de Janeiro: GEN/LTC.
NLM
Inteligência artificial: uma abordagem moderna. [Revisão Técnica]. 2022 ;[citado 2024 abr. 28 ]
Vancouver
Inteligência artificial: uma abordagem moderna. [Revisão Técnica]. 2022 ;[citado 2024 abr. 28 ]
Trabalho de evento-anais periodico
Repairing ontologies via kernel pseudo-contraction (2022)
Matos, Vinícius Bitencourt ; Wassermann, Renata
Source: CEUR Workshop Proceedings. Conference titles: Federated Logic Conference -FLoC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ONTOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATOS, Vinícius Bitencourt e WASSERMANN, Renata. Repairing ontologies via kernel pseudo-contraction. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://ceur-ws.org/Vol-3197/paper2.pdf. Acesso em: 28 abr. 2024. , 2022
APA
Matos, V. B., & Wassermann, R. (2022). Repairing ontologies via kernel pseudo-contraction. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://ceur-ws.org/Vol-3197/paper2.pdf
NLM
Matos VB, Wassermann R. Repairing ontologies via kernel pseudo-contraction [Internet]. CEUR Workshop Proceedings. 2022 ; 3197 16-26.[citado 2024 abr. 28 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf
Vancouver
Matos VB, Wassermann R. Repairing ontologies via kernel pseudo-contraction [Internet]. CEUR Workshop Proceedings. 2022 ; 3197 16-26.[citado 2024 abr. 28 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf
Trabalho de evento-anais periodico
Revising system specifications in temporal logic (2022)
Guerra, Paulo T ; Wassermann, Renata
Source: Journal of Logic, Language and Information. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 28 abr. 2024. , 2022
APA
Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9
NLM
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2024 abr. 28 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Vancouver
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2024 abr. 28 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Tese (Doutorado)
Studies on non-prioritized multiple belief revision (2021)
Resina, Fillipe Manoel Xavier ; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: REVISÃO DE CRENÇAS, REPRESENTAÇÃO DE CONHECIMENTO, ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RESINA, Fillipe Manoel Xavier. Studies on non-prioritized multiple belief revision. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/. Acesso em: 28 abr. 2024.
APA
Resina, F. M. X. (2021). Studies on non-prioritized multiple belief revision (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
NLM
Resina FMX. Studies on non-prioritized multiple belief revision [Internet]. 2021 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
Vancouver
Resina FMX. Studies on non-prioritized multiple belief revision [Internet]. 2021 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
Trabalho de evento
Belief contraction in non-classical logics as hyperintensional belief change (2021)
Souza, Marlo ; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Marlo e WASSERMANN, Renata. Belief contraction in non-classical logics as hyperintensional belief change. 2021, Anais.. Vienna: IJCAI, 2021. Disponível em: https://doi.org/10.24963/kr.2021/56. Acesso em: 28 abr. 2024.
APA
Souza, M., & Wassermann, R. (2021). Belief contraction in non-classical logics as hyperintensional belief change. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2021/56
NLM
Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.24963/kr.2021/56
Vancouver
Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.24963/kr.2021/56
Monografia/livro-ed/org
Logic, language, information, and computation (2021)
Silva, Alexandra (Editor); Wassermann, Renata (Editor) ; Queiroz, Ruy de (Editor)
Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Subjects: LÓGICA, LINGUAGEM, CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Logic, language, information, and computation. . Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-030-88853-4. Acesso em: 28 abr. 2024. , 2021
APA
Logic, language, information, and computation. (2021). Logic, language, information, and computation. Cham: Springer. doi:10.1007/978-3-030-88853-4
NLM
Logic, language, information, and computation [Internet]. 2021 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Vancouver
Logic, language, information, and computation [Internet]. 2021 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Dissertação (Mestrado)
Pseudo-contraction operations for description logics (2021)
Matos, Vinícius Bitencourt ; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: ONTOLOGIAS, REVISÃO DE CRENÇAS, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATOS, Vinícius Bitencourt. Pseudo-contraction operations for description logics. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/. Acesso em: 28 abr. 2024.
APA
Matos, V. B. (2021). Pseudo-contraction operations for description logics (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
NLM
Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
Vancouver
Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
Trabalho de evento
A survey on multiple revision (2020)
Resina, Fillipe Manoel Xavier ; Wassermann, Renata
Source: Proceedings. Conference titles: International Workshop On Non-Monotonic Reasoning - NMR. Unidade: IME
Assunto: REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RESINA, Fillipe Manoel Xavier e WASSERMANN, Renata. A survey on multiple revision. 2020, Anais.. Buenos Aires: Universidad de Buenos Aires, 2020. Disponível em: https://nmr2020.dc.uba.ar/WorkshopNotes.pdf. Acesso em: 28 abr. 2024.
APA
Resina, F. M. X., & Wassermann, R. (2020). A survey on multiple revision. In Proceedings. Buenos Aires: Universidad de Buenos Aires. Recuperado de https://nmr2020.dc.uba.ar/WorkshopNotes.pdf
NLM
Resina FMX, Wassermann R. A survey on multiple revision [Internet]. Proceedings. 2020 ;[citado 2024 abr. 28 ] Available from: https://nmr2020.dc.uba.ar/WorkshopNotes.pdf
Vancouver
Resina FMX, Wassermann R. A survey on multiple revision [Internet]. Proceedings. 2020 ;[citado 2024 abr. 28 ] Available from: https://nmr2020.dc.uba.ar/WorkshopNotes.pdf
Trabalho de evento-anais periodico
Integração semântica das bases de dados do Sistema Único de Saude: um estudo de caso com o município de São Paulo (2020)
Pereira, Debora Lina Nascimento Ciriaco ; Pessoa, Alexandre; Salvador, Lais ; Wassermann, Renata
Source: CEUR Workshop Proceedings. Conference titles: Seminar on Ontology Research in Brazil - ONTOBRAS. Unidade: IME
Subjects: SEMÂNTICA, ONTOLOGIA, SISTEMA ÚNICO DE SAÚDE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Debora Lina Nascimento Ciriaco et al. Integração semântica das bases de dados do Sistema Único de Saude: um estudo de caso com o município de São Paulo. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf. Acesso em: 28 abr. 2024. , 2020
APA
Pereira, D. L. N. C., Pessoa, A., Salvador, L., & Wassermann, R. (2020). Integração semântica das bases de dados do Sistema Único de Saude: um estudo de caso com o município de São Paulo. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf
NLM
Pereira DLNC, Pessoa A, Salvador L, Wassermann R. Integração semântica das bases de dados do Sistema Único de Saude: um estudo de caso com o município de São Paulo [Internet]. CEUR Workshop Proceedings. 2020 ; 2728 61-74.[citado 2024 abr. 28 ] Available from: http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf
Vancouver
Pereira DLNC, Pessoa A, Salvador L, Wassermann R. Integração semântica das bases de dados do Sistema Único de Saude: um estudo de caso com o município de São Paulo [Internet]. CEUR Workshop Proceedings. 2020 ; 2728 61-74.[citado 2024 abr. 28 ] Available from: http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf
Tese (Doutorado)
Modularity in belief change of description logic bases (2020)
Guimarães, Ricardo Ferreira; Wassermann, Renata (Orientador)
Unidade: IME
Assunto: CIENCIA DA COMPUTACAO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUIMARÃES, Ricardo Ferreira. Modularity in belief change of description logic bases. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/. Acesso em: 28 abr. 2024.
APA
Guimarães, R. F. (2020). Modularity in belief change of description logic bases (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/
NLM
Guimarães RF. Modularity in belief change of description logic bases [Internet]. 2020 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/
Vancouver
Guimarães RF. Modularity in belief change of description logic bases [Internet]. 2020 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/
Trabalho de evento
Choosing what to believe: new results in selective revision (2020)
Resina, Fillipe Manoel Xavier ; Garapa, Marco ; Wassermann, Renata ; Fermé, Eduardo ; Reis, Maurício
Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Assunto: REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RESINA, Fillipe Manoel Xavier et al. Choosing what to believe: new results in selective revision. 2020, Anais.. Vienna: IJCAI, 2020. Disponível em: https://doi.org/10.24963/kr.2020/70. Acesso em: 28 abr. 2024.
APA
Resina, F. M. X., Garapa, M., Wassermann, R., Fermé, E., & Reis, M. (2020). Choosing what to believe: new results in selective revision. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2020/70
NLM
Resina FMX, Garapa M, Wassermann R, Fermé E, Reis M. Choosing what to believe: new results in selective revision [Internet]. Proceedings. 2020 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.24963/kr.2020/70
Vancouver
Resina FMX, Garapa M, Wassermann R, Fermé E, Reis M. Choosing what to believe: new results in selective revision [Internet]. Proceedings. 2020 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.24963/kr.2020/70
Tese (Doutorado)
Belief change without compactness (2020)
Santos, Jandson Santos Ribeiro; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Jandson Santos Ribeiro. Belief change without compactness. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/. Acesso em: 28 abr. 2024.
APA
Santos, J. S. R. (2020). Belief change without compactness (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
NLM
Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
Vancouver
Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
Dissertação (Mestrado)
Integração semântica das bases de dados do Sistema Único de Saúde: um estudo de caso com o Município de São Paulo (2019)
Pereira, Debora Lina Nascimento Ciriaco; Wassermann, Renata (Orientador)
Unidade: IME
Assunto: CIENCIA DA COMPUTACAO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Debora Lina Nascimento Ciriaco. Integração semântica das bases de dados do Sistema Único de Saúde: um estudo de caso com o Município de São Paulo. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/. Acesso em: 28 abr. 2024.
APA
Pereira, D. L. N. C. (2019). Integração semântica das bases de dados do Sistema Único de Saúde: um estudo de caso com o Município de São Paulo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/
NLM
Pereira DLNC. Integração semântica das bases de dados do Sistema Único de Saúde: um estudo de caso com o Município de São Paulo [Internet]. 2019 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/
Vancouver
Pereira DLNC. Integração semântica das bases de dados do Sistema Único de Saúde: um estudo de caso com o Município de São Paulo [Internet]. 2019 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/
Trabalho de evento-resumo
Logics in artificial intelligence (2019)
Wassermann, Renata
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata. Logics in artificial intelligence. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 28 abr. 2024.
APA
Wassermann, R. (2019). Logics in artificial intelligence. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Wassermann R. Logics in artificial intelligence [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 28 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Wassermann R. Logics in artificial intelligence [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 28 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento
Belief update without compactness in non-finitary languages (2019)
Ribeiro, Jandson S ; Nayak, Abhaya ; Wassermann, Renata
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidade: IME
Assunto: REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Jandson S e NAYAK, Abhaya e WASSERMANN, Renata. Belief update without compactness in non-finitary languages. 2019, Anais.. Vienna: IJCAI, 2019. Disponível em: https://doi.org/10.24963/ijcai.2019/257. Acesso em: 28 abr. 2024.
APA
Ribeiro, J. S., Nayak, A., & Wassermann, R. (2019). Belief update without compactness in non-finitary languages. In Proceedings. Vienna: IJCAI. doi:10.24963/ijcai.2019/257
NLM
Ribeiro JS, Nayak A, Wassermann R. Belief update without compactness in non-finitary languages [Internet]. Proceedings. 2019 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.24963/ijcai.2019/257
Vancouver
Ribeiro JS, Nayak A, Wassermann R. Belief update without compactness in non-finitary languages [Internet]. Proceedings. 2019 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.24963/ijcai.2019/257
Trabalho de evento
Belief change and non-monotonic reasoning sans compactness (2019)
Ribeiro, Jandson S ; Nayak, Abhaya ; Wassermann, Renata
Source: Proceedings. Conference titles: AAAI Conference on Artificial Intelligence. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, SEMÂNTICA DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Jandson S e NAYAK, Abhaya e WASSERMANN, Renata. Belief change and non-monotonic reasoning sans compactness. 2019, Anais.. Palo Alto: AAAI, 2019. Disponível em: https://doi.org/10.1609/aaai.v33i01.33013019. Acesso em: 28 abr. 2024.
APA
Ribeiro, J. S., Nayak, A., & Wassermann, R. (2019). Belief change and non-monotonic reasoning sans compactness. In Proceedings. Palo Alto: AAAI. doi:10.1609/aaai.v33i01.33013019
NLM
Ribeiro JS, Nayak A, Wassermann R. Belief change and non-monotonic reasoning sans compactness [Internet]. Proceedings. 2019 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.1609/aaai.v33i01.33013019
Vancouver
Ribeiro JS, Nayak A, Wassermann R. Belief change and non-monotonic reasoning sans compactness [Internet]. Proceedings. 2019 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.1609/aaai.v33i01.33013019
Artigo de periodico
Two AGM-style characterizations of model repair (2019)
Oliveira, Paulo de Tarso Guerra ; Wassermann, Renata
Source: Annals of Mathematics and Artificial Intelligence. Unidade: IME
Subjects: TEORIA DA REPRESENTAÇÃO, LÓGICA, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Paulo de Tarso Guerra e WASSERMANN, Renata. Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, n. 87, p. 233–257, 2019Tradução . . Disponível em: https://doi.org/10.1007/s10472-019-09656-4. Acesso em: 28 abr. 2024.
APA
Oliveira, P. de T. G., & Wassermann, R. (2019). Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, ( 87), 233–257. doi:10.1007/s10472-019-09656-4
NLM
Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2024 abr. 28 ] Available from: https://doi.org/10.1007/s10472-019-09656-4
Vancouver
Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2024 abr. 28 ] Available from: https://doi.org/10.1007/s10472-019-09656-4

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Non normalized affiliation

Countries of institutions of collaboration